Leveraging commitments and goals in agent interaction
نویسندگان
چکیده
Modeling and regulating interactions among agents is a critical step in the development of Multiagent Systems (MASs). Some recent works assume a normative view, and suggest to model interaction protocols in terms of obligations. In this paper we propose to model interaction protocols in terms of goals and commitments, and show how such a formalization promotes a deliberative process inside the agents. In particular, we take a software engineering perspective, and balance the use of commitments against obligations inside interaction protocols. The proposal is implemented via JaCaMo+, an extension to JaCaMo, in which Jason agents can interact while preserving their deliberative capabilities by exploiting commitment-based protocols, reified by special CArtAgO artifacts. The paper shows how practical rules relating goals and commitments can be almost directly encoded as Jason plans to be used as building blocks in agent programming.
منابع مشابه
Hierarchical planning about goals and commitments
We consider the problem of relating an agent’s internal state (its beliefs and goals) and its social state (its commitments to and from other agents) as a way to develop a comprehensive account of decision making by agents in a multiagent system. We model this problem in terms of hierarchical task networks (HTNs) and show how HTN planning provides a natural representation and reasoning framewor...
متن کاملA First-Order Formalization of Commitments and Goals for Planning
Commitments help model interactions in multiagent systems in a computationally realizable yet high-level manner without compromising the autonomy and heterogeneity of the member agents. Recent work shows how to combine commitments with goals and apply planning methods to enable agents to determine their actions. However, previous approaches to modeling commitments are confined to propositional ...
متن کاملGOSU: computing GOal SUpport with commitments in multiagent systems
Goal-based agent architectures have been one of the most effective architectures for designing agents. In such architectures, the state of the agent as well as its goal set are represented explicitly. The agent then uses its set of actions to reach the goals in its goal set. However, in multiagent systems, most of the time, an agent cannot reach a goal only using its own actions but needs other...
متن کاملReasoning about agents and protocols via goals and commitments
This paper seeks to combine two largely independent threads of multiagent systems research—agent specification and protocols. We specify agents in terms of goal models (as used in Tropos). We specify protocols in terms of the commitments among agents. We illustrate and formalize the semantic relationship between agents and protocols by exploiting the relationship between goals and commitments. ...
متن کاملExploiting Social Commitments in Programming Agent Interaction
Modeling and regulating interactions among agents is a critical step in the development of Multiagent Systems (MASs). Some recent works assume a normative view, and suggest to model interaction protocols in terms of obligations. In this paper we propose to model interaction protocols in terms of goals and commitments, and show how such a formalization promotes a deliberative process inside the ...
متن کامل